181. Flow analysis of computer programs
پدیدآورنده: Hecht, Matthew S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
182. Formal methods :
پدیدآورنده: Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
183. From logic design to logic programming : theorem proving techniques and P-functions
پدیدآورنده: Dominique Snyers, Andre Thayse
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Computer algorithms,، Logic programming
رده :
QA
76
.
L28
Vol
.
271
184. Fundamental algorithms for computer graphics
پدیدآورنده: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics )5891 : Ilkley, West Yorkshire(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses
رده :
QA
76
.
6
.
N379
1985
185. Fundamental algorithms for computer graphics
پدیدآورنده: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
رده :
QA
76
.
6
.
N379
1985
186. Fundamental of flowcharting
پدیدآورنده: / [by] Tomas J. Schriber
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computer-Programming,Flow charts,Algorithms
رده :
QA
76
.
5
.
S28
187. Fundamentals of computer algorithms
پدیدآورنده: Horowitz, Ellis.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Computer algorithms
رده :
QA
76
.
6
.
H67
188. Fundamentals of computer algorithms /
پدیدآورنده: Ellis Horowitz, Sartaj Sahni.,Horowitz, Ellis.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming.,Computer algorithms.
رده :
QA76
.
6
.
H67
189. Fundamentals of computer algorithms /
پدیدآورنده: Ellis Horowitz, Sartaj Sahni
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms,Computer programming
رده :
QA76
.
6
.
H67
190. Fundamentals of computer algorithms
پدیدآورنده: Horowitz, Ellis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic digital computer- Programming ► Algorithms
رده :
519
H816f
191. Fundamentals of computer algorithms
پدیدآورنده: Horowitz, Ellis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic digital computer- Programming ► Algorithms
رده :
519
H816f
192. Fundamentals of computer algorithms
پدیدآورنده: Horowitz, Ellis.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Computer algorithms
رده :
QA
76
.
6
.
H67
193. Fundamentals of computer algorithms
پدیدآورنده: / Ellis Horowitz Sartaj Sahni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic digital computers -- Programming,Computer algorithms
رده :
QA76
.
6
.
H67
1978
194. Fundamentals of flowcharting
پدیدآورنده: Schriber, Thomas J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Flow charts,، Computer algorithms
رده :
QA
76
.
5
.
S28
195. Fundamentals of flowcharting
پدیدآورنده: / (by) Thomas J. Schriber
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Flow charts,Computer algorithms
رده :
QA
76
.
5
.
S28
196. Fundamentals of the average case analysis of particular algorithms
پدیدآورنده: / Rainer Kemp
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer programming,Algorithms
رده :
QA76
.
6
.
K453
1984
197. Fundamentals of the average case analysis of particular algorithms
پدیدآورنده: Kemp, Rainer.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Computer algorithms
رده :
QA
76
.
6
.
K453
1984
198. Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14- 15, 1995 : selected papers
پدیدآورنده: Takeshi Furuhashi, Yoshiki Uchikawa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Neural networks )Computer science(,، Fuzzy systems,، Genetic algorithms,، Evolutionary programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1152
199. Gene expression programming
پدیدآورنده: / Candida Ferreira
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Genetic programming (Computer science),Genetic algorithms.
200. Gene expression programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Genetic programming (Computer science) ; Genetic algorithms. ;
